nLab generalized uniform structures - table

Generalized uniform structures

proarrow	monad	Rezk-complete version	pro-monad	symmetric versions
binary relation	preorder	partial order	quasiuniformity	symmetric relation	equivalence relation	equality	uniformity
binary function to $[0,\infty)$	quasipseudometric	quasimetric	quasiprometric	symmetric binary function	pseudometric	metric	prometric
topogeny	quasiproximity		syntopogeny	symmetric topogeny	proximity		symmetric syntopogeny